Полурешётки и решётки

$(A, \preccurlyeq)$ называется **верхней полурешёткой**, если для любой пары элементов ЧУМа существует **супремум**. Обозначение: $a \lor b$ (объединение, join).

$(A, \preccurlyeq)$ называется **нижней полурешёткой**, если для любой пары элементов ЧУМа существует **инфимум**. Обозначение: $a \land b$ (пересечение, meet).

Если ЧУМ $(A, \preccurlyeq)$ является и верхней, и нижней полурешёткой, то он называется **решёткой**